Éric Badouel: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers

Eric Badouel, Bernard Fotsing, Rodrigue Tchougong

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 266 KB

english, 2011

2

On guarded recursion

Eric Badouel, Philippe Darondeau

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 676 KB

english, 1991

3

Merging Hierarchically-Structured Documents in Workflow Systems

Eric Badouel, Maurice Tchoupé Tchendji

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 400 KB

english, 2008

4

The synthesis problem for elementary net systems is NP-complete

Eric Badouel, Luca Bernardinello, Philippe Darondeau

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.84 MB

english, 1997

5

Distributing Finite Automata Through Petri Net Synthesis

Éric Badouel, Benoît Caillaud, P. Darondeau

Journal:

Formal Aspects of Computing

Year:

2002

Language:

english

File:

PDF, 315 KB

english, 2002

6

Context-Free Event Domains Are Recognizable

Eric Badouel, Philippe Darondeau, Jean-Claude Raoult

Journal:

Information and Computation

Year:

1999

Language:

english

File:

PDF, 601 KB

english, 1999

7

Trace nets and process automata

Eric Badouel, Philippe Darondeau

Journal:

Acta Informatica

Year:

1995

Language:

english

File:

PDF, 1.69 MB

english, 1995

8

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Why Are Modalities Good for Interface Theories?

Raclet, Jean-Baptiste, Badouel, Eric, Benveniste, Albert, Caillaud, Benoît, Passerone, Roberto

Year:

2009

Language:

english

File:

PDF, 252 KB

english, 2009

9

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Residuation of tropical series: Rationality issues

Badouel, Eric, Bouillard, Anne, Darondeau, Philippe, Komenda, Jan

Year:

2011

Language:

english

File:

PDF, 345 KB

english, 2011

10

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - A grammatical approach to data-centric case management in a distributed collaborative environment

Badouel, Eric, Hélouët, Loïc, Kouamou, Georges-Edouard, Morvan, Christophe

Year:

2015

Language:

english

File:

PDF, 576 KB

english, 2015

11

Active workspaces

Badouel, Eric, Hélouët, Loïc, Kouamou, Georges-Edouard, Morvan, Christophe, Fondze, Nsaibirni Robert

Journal:

ACM SIGAPP Applied Computing Review

Year:

2015

Language:

english

File:

PDF, 1.41 MB

english, 2015

12

Petri Nets with Structured Data

Badouel, Eric, Hélouët, Loïc, Morvan, Christophe, Devillers, Raymond, Valmari, Antti, Penczek, Wojciech

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 587 KB

english, 2016

13

[ACM Press the seventh ACM international conference - Grenoble, France (2009.10.12-2009.10.16)] Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 - Modal interfaces

Raclet, Jean-Baptiste, Badouel, Eric, Benveniste, Albert, Caillaud, Benoît, Legay, Axel, Passerone, Roberto

Year:

2009

Language:

english

File:

PDF, 434 KB

english, 2009

14

Incremental Process Discovery using Petri Net Synthesis

Badouel, Eric, Schlachter, Uli, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 345 KB

english, 2017